Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
401	HVCAgenda November 6 – Day 1 09:00 Registration 09:30 Opening Remarks Oded Cohn, Director, IBM Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2012-11-26 04:25:08 Technology Business Computing Formal methods IBM Research OWASP Software verification Model checking Verification and validation Software testing Pharmaceutical industry Validity
402	testingexperience04_08.pdf Add to Reading List Source URL: www.istqb.org Language: English - Date: 2013-05-09 11:07:51 Software Project management Software project management Software development process Formal methods V-Model Waterfall model Acceptance testing Usability testing Software development Software testing Technology
403	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2014-02-06 15:50:38 Computer science Applied mathematics Extended finite-state machine Theory of computation Algorithm Assignment Models of computation Software engineering Formal methods
404	Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Büchi automaton Linear temporal logic Symbol Complementation of Büchi automaton Automata theory Theoretical computer science Formal methods
405	Verification and Validation of Agent Based Models in the Social Sciences Paul Ormerod and Bridget Rosewell, Volterra Consulting, London Abstract This paper considers some of the difficulties in es Add to Reading List Source URL: www.bridgetrosewell.com Language: English - Date: 2012-07-30 09:04:11 Ethology Pharmaceutical industry Validity Knowledge Agent-based model Computer simulation Economic model Simulation Verification and validation Science Scientific modeling Formal methods
406	BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-04-26 06:24:23 Formal methods Logic in computer science Notation Programming language Formal verification BRIC Michael Schwartzbach Logic Monad Computing Software engineering Science
407	FoCaLiZe Reference ManualOctober 2014 Add to Reading List Source URL: focalize.inria.fr Language: English - Date: 2014-10-13 13:13:51 Cross-platform software Procedural programming languages Coq Compiler OCaml Programming language Formal methods C Logic programming Software Computing Functional languages
408	Enterprise Mobile Application Lifecycle copy Add to Reading List Source URL: www.socialcubix.com Language: English - Date: 2012-06-27 18:19:52 Business Software engineering Software project management Formal methods Product development Project management Systems engineering process Systems development life-cycle Dynamic systems development method Software development Systems engineering Product management
409	Corrections to “Preorders on Monads and Coalgebraic Simulations” Shin-ya Katsumata Research Institute for Mathematical Sciences, Kyoto University June 13, 2014 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2014-06-12 12:54:06 Formal methods Mathematics Spectral theory of ordinary differential equations Sturm–Liouville theory Operator theory Ordinary differential equations Spectral theory
410	Invitation to Courses PROF. KRISHNENDU CHATTERJEE Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-02-12 03:12:12 Formal methods Logic in computer science Formal verification Model checking Correctness Institute of Science and Technology Austria Distributed algorithm Algorithm Specification Theoretical computer science Applied mathematics Mathematics

UPDATE